Anytime argumentative and abductive reasoning
نویسنده
چکیده
This article presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm can be interrupted at any time returning the solution found so far. The quality of the approximation increases monotonically when more computational resources are available. The method is based on cost functions and returns lower and upper bounds.
منابع مشابه
A Query-Driven Anytime Algorithm for Argumentative and Abductive Reasoning
This paper presents a new approximation method for computing arguments or explanations in the context of logic-based argumentative or abductive reasoning. The algorithm can be interrupted at any time returning the solution found so far. The quality of the approximation increases monotonically when more computational resources are available. The method is based on cost functions and returns lowe...
متن کاملAmpliative Patterns in Argumentative Reasoning
There are good characterizations of ampliative inference in monotonic theories. However, a problem that faces ampliative inference, in particular abduction, is the explanation of anomalous observations, i. e., observations that are contradictory with the current theory. For this reason, in this work we will consider the problem of embedding abduction of surprising and anomalous observations in ...
متن کاملArgumentative Reasoning with ABEL
Most formal approaches to argumentative reasoning under uncertainty focus on the analysis of qualitative aspects. An exception is the framework of probabilistic argumentation systems. Its philosophy is to include both qualitative and quantitative aspects through a simple way of combining logic and probability theory. Probabilities are used to weigh arguments for and against particular hypothese...
متن کاملDetecting Conflict-Free Argumentative or Abductive Knowledge Bases
This paper presents a simple method that reduces the problem of detecting conflict-free assumption-based knowledge bases to the problem of testing satisfiability.
متن کاملBayesian Reasoning in an Abductive Mechanism for Argument Generation and Analysis
Our argumentation system, NAG, uses Bayesian networks in a user model and in a normative model to assemble and assess arguments which balance persuasiveness with normative correctness. Attentional focus is simulated in both models to select relevant subnetworks for Bayesian propagation. The subnetworks are expanded in an iterative abductive process until argumentative goals are achieved in both...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Soft Comput.
دوره 8 شماره
صفحات -
تاریخ انتشار 2003